A Transformation Based on the Equality between Terms
نویسنده
چکیده
We present a new transformation of Prolog programs preserving operational equivalence. Our transformation — EBC (equality based continuation) transformation — relies on the introduction of equations between terms. These equations are used to introduce alternative and more efficient representations of terms. When applied to binary Prolog programs, EBC is able to perform the following optimizations by mere source to source transformations: removal of existential variables in programs using difference lists and accumulators, reduction of the number of occurchecks, interprocedural register allocation when executed on the WAM, linearization of recursions, optimization of continuation-like user data structures.
منابع مشابه
رقابت، مالیاتستانی و ارتقای کیفی خصوصیسازی
The scientific researches have investigated the inefficiencies of government management and property. Economists and policy-makers maintain that privatization can serve to control such inefficiencies and even to inverse it. Some scholars, who have analyzed the consequences of privatization for various countries in terms of efficiency and equality, observed the positive impacts (for instance in ...
متن کاملHigher-Order Uni cation via Combinators
We present an algorithm for uniication in the simply typed lambda calculus which enumerates complete sets of uniiers using a nitely branching search space. In fact, the types of terms may contain type-variables, so that a solution may involve type-substitution as well as term-substitution. the problem is rst translated into the problem of uniication with respect to extensional equality in combi...
متن کاملEthical Standards to Guide the Development of Obesity Policies and Programs; Comment on “Ethical Agreement and Disagreement about Obesity Prevention Policy in the United States”
The recent report by Barnhill and King about obesity prevention policy raises important issues for discussion and analysis. In response, this article raises four points for further consideration. First, a distinction between equality and justice needs to be made and consistently maintained. Second, different theories of justice highlight one additional important source of disagreement about the...
متن کاملعدالت جنسیتی با بیعدالتی در نظام آموزشی استان ایلام
Introduction: Educational equality is newly considered in social, political and economic system of the nations. Many conventions, treaties & statements in the world emphasizing these rights have been determined and issued. This issue has been considered in politic, economic and social development plans of Iran. Explaining this issue in undeveloped areas such as Ilam province can provide i...
متن کاملImproving the performance of neural network in differentiation of breast tumors using wavelet transformation on dynamic MRI
ABSTRACT Background: A computer aided diagnosis system was established using the wavelet transform and neural network to differentiate malignant from benign in a group of patients with histo-pathologically proved breast lesions based on the data derived independently from time-intensity profile. Materials and Methods: The performance of the artificial neural network (ANN) was evaluated u...
متن کامل